08a46d9f6057e53875f7719bb392eb0d6d7610df,src/org/openstreetmap/josm/data/CustomConfigurator.java,CustomConfigurator,pluginOperation,#String#String#String#,311
Before Change
public static void pluginOperation(String install, String uninstall, String delete) {
final List<String> installList = Arrays.asList(install.toLowerCase().split(";"));
final List<String> removeList = Arrays.asList(uninstall.toLowerCase().split(";"));
final List<String> deleteList = Arrays.asList(delete.toLowerCase().split(";"));
After Change
public static void pluginOperation(String install, String uninstall, String delete) {
final List<String> installList = new ArrayList<String>();
final List<String> removeList = new ArrayList<String>();
final List<String> deleteList = new ArrayList<String>();
Collections.addAll(installList, install.toLowerCase().split(";"));
Collections.addAll(removeList, uninstall.toLowerCase().split(";"));
Collections.addAll(deleteList, delete.toLowerCase().split(";"));
installList.remove("");removeList.remove("");deleteList.remove("");
if (!installList.isEmpty()) {
log("Plugins install: "+installList);
}
if (!removeList.isEmpty()) {
log("Plugins turn off: "+removeList);